On preparation theorems for R<sub>an, exp</sub>-definable functions

نویسندگان

چکیده

In this article we give strong versions for preparation theorems $\mathbb{R}_{\textnormal{an,exp}}$-definable functions outgoing from methods of Lion and Rolin ($\mathbb{R}_{\textnormal{an,exp}}$ is the o-minimal structure generated by all restricted analytic global exponential function). By a deep model theoretic fact Van den Dries, Macintyre Marker every function piecewise given $\mathcal{L}_{\textnormal{an}}(\exp,\log)$-terms where $\mathcal{L}_{\textnormal{an}}(\exp,\log)$ denotes language ordered rings augmented functions, logarithm. So our idea to consider log-analytic at first, i.e. which are iterated compositions either side globally subanalytic logarithm, then as exponential.

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

On Sandwich theorems for certain classes of analytic functions

The purpose of this present paper is to derive some subordination and superordination results for certain analytic functions in the open unit disk. Relevant connections of the results, which are presented in the paper, with various known results are also considered.

متن کامل

Integer-valued definable functions

We present a dichotomy, in terms of growth at infinity, of analytic functions definable in the real exponential field which take integer values at natural number inputs. Using a result concerning the density of rational points on curves definable in this structure, we show that if a function f : [0,∞) → R is such that f(N) ⊆ Z, then either sup|x̄|≤r f(x̄) grows faster than exp(r), for some δ > 0,...

متن کامل

on sandwich theorems for certain classes of analytic functions

the purpose of this present paper is to derive some subordination and superordination results for certain analytic functions in the open unit disk. relevant connections of the results, which are presented in the paper, with various known results are also considered.

متن کامل

Positivstellensätze for Families of Definable Functions

We present a canonical proof of both the strict and weak Positivstellensatz for rings of differentiable and smooth functions. The construction preserves definability in expansions of the real field, and it works in definably complete expansions of real closed fields as well as for real-valued functions on Banach spaces.

متن کامل

Definable Smoothing of Continuous Functions

Let R be an o-minimal expansion of a real closed field. Given definable continuous functions f : U → R and : U → (0,+∞), where U is an open subset of Rn, we construct a definable Cm-function g : U → R with |g(x)− f(x)| < (x) for all x ∈ U . Moreover, we show that if f is uniformly continuous, then g can also chosen to be uniformly continuous.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Journal of Logic and Analysis

سال: 2023

ISSN: ['1759-9008']

DOI: https://doi.org/10.4115/jla.2023.15.1